COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00005 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
∂CSL Professor M. N. Manougian↓Chairman↓Dept. of Mathematics
↓University of South Florida↓Tampa, FL 33620∞

Dear Professor Manougian:

	I'm sorry this letter is too late to be helpful this year, but
since I've just read the papers, I'd better write it while they are
fresh in my mind.  The delay was caused by problems with my own work.

	Stark's work on the logic of knowledge goes farthest of all
that I have seen including my own.  Since these problems have occupied
a number of logicians and computer scientists, I consider this sufficient
evidence that he is worthy of the promotion you contemplate.  As
far as I can see, his "model theorist's deduction rule" has the necessary
power to solve the problems and avoids the inconsistencies that plagued
previous attempts.

	His report on parallel process logics contains an additional
approach to formalizing knowledge, which it will take me time to absorb,
and his exposition of combinatory algebra is scholarly and looks like
it will make this newly important subject accessible to computer science
students.  Since, coincidentally, I have been lecturing on combinators
in the last week, I wished I had paid more prompt attention to this
exposition.

	I again apologize for having been so dilatory.

.sgn

cc: Richard Stark